首页> 外文OA文献 >1 Formal Specification and Verification of Task Time Constraints for Real-Time Systems ⋆

【2h】

1 Formal Specification and Verification of Task Time Constraints for Real-Time Systems ⋆

机译：1实时系统任务时间约束的形式规范和验证⋆

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ning Ge; Marc Pantel; Xavier Crégut;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Real-time systems: formal specification and automatic verification [J] . George Hacken Computing reviews . 2010,第9期

机译：实时系统：正式规范和自动验证
2. Formal specification and verification of real-time systems using Graph Grammars [J] . Costa Simone André da, Michelon Leonardo, Ribeiro Leila, Brazilian Computer Society. Journal . 2007,第4期

机译：使用图文法对实时系统进行形式化规范和验证
3. Formal Specification and Verification of Real-Time Systems using Graph Grammars [J] . Leonardo Michelon, Simone André da Costa, Leila Ribeiro Journal of the Brazilian Computer Society . 2007,第4期

机译：使用图文法的实时系统的正式规范和验证
4. Formal Specification and Verification of Task Time Constraints for Real-Time Systems [C] . Ning Ge. Marc Pantel, Xavier Cregut International symposium on leveraging applications of formal method, verification and validation . 2012

机译：实时系统的任务时间约束的正式规范和验证
5. Automated test generation from formal specifications of real-time reactive systems. [D] . Zheng, Mao. 2002

机译：根据实时反应系统的正式规范自动生成测试。
6. Runtime verification of embedded real-time systems [O] . Thomas Reinbacher, Matthias Függer, Jörg Brauer -1

机译：嵌入式实时系统的运行时验证
7. Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets [O] . QASIM, A., KAZMI, S. A. R., FAKHIR, I. 2015

机译：使用定时弧petri网的实时多agent系统的形式化规范和验证
8. Formal Specification and Verification of Real-Time Sequential Control Systems [R] . Gabrielian, A. 1994

机译：实时顺序控制系统的形式化规范与验证

1 Formal Specification and Verification of Task Time Constraints for Real-Time Systems ⋆

著录项

引文网络

相似文献

相关主题

期刊订阅